This method is more computationally efficient than prior efforts to assess observability and it could be integrated into compilers and simulators easily . a new simulation vector generation procedure involving the observability - enhanced statement coverage metric is developed . the method is simulation - based and driven by the distribution of unobserved statements 可观测性语句覆盖率并不像传统的语句覆盖率那样过于乐观,它不仅评估代码是否被执行,而且检验被激励激活的那些潜在错误的影响是否可以传播到观测点,该准则可以更确切地评估验证的力度。